181. Principia mathematica
پدیدآورنده : Alfred North Whitehead,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Mathematics,Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
W59
9
182. Principia mathematica
پدیدآورنده : Whitehead, Alfred North
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Mathematics,Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W5
1927
183. Principia mathematica, to *56
پدیدآورنده : by Alfred North Whitehead and Bertrand Russell,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
W52
9
1967
184. Principia mathematica to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
185. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W52
1997
186. Principia mathematica to *56
پدیدآورنده : by Alfred North Whitehead and Bertrand Russell
موضوع : Mathematics -- Philosophy,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
187. Principia mathematica : to * 56
پدیدآورنده : Whitehead, Alfred North, 1681-7491
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
W5
1927
188. Principia mathematica, to 56
پدیدآورنده : / by Alfred North Whitehead and Bertrand Russell
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
W54
1978
189. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
1997
190. Proceedings
پدیدآورنده : Tarski Symposium, 1791, University of California, Berkeley
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
191. Proceedings of the Tarski Symposium : an International Symposium, held to Honor Alfered Tarski on the occasion of his seventieth birthday
پدیدآورنده : edited by Leon Henkin ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresseys, essays, lectures ، Mathematics,Bibliography ، Tarski, Alfred,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P7
Vol
.
25
192. Proceedings of the first logic congress : May 5-7, 1990 Tehran, Iran
پدیدآورنده : edited by S. Etemad, M.J.A. Larijani, Z. Movahed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
L64
1990
193. Proof and knowledge in mathematics
پدیدآورنده : edited by Michael Detelfsen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
P766
194. Proofs and refutations : the logic of mathematical discovery
پدیدآورنده : Lakatos, Imre, 2291-4791.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
L35
1976
195. Readings in Formal Epistemology :
پدیدآورنده : edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
196. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
پدیدآورنده : edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
15
197. Remarques philosophiques, Edition posthume Due Aux soins de Rush Rhees Traduit de L'Allemand
پدیدآورنده : / Par Jacques Fauve
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Semantics (philosophy),Logic, Symbolic and mathematical,Mathematics - Philosophy
رده :
149
.
94
Wi-R
198. Representation and productive ambiguity in mathematics and the sciences
پدیدآورنده : Grosholz, Emily R.
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع : Philosophy ، Mathematics,، Ambiguity in science,، Knowledge, Theory of,Philosophy ، Science
رده :
QA
9
.
G76
R47
2007
199. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
QA
9
.
65
.
M68
200. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
پدیدآورنده : Mostowski, Andrzej
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
BC
135
.
M6
